U.S. flag

An official website of the United States government

Display Settings:

Format
Items per page
Sort by

Send to:

Choose Destination
You searched 8+ million full text articles

Try this search in 34+ million citations and abstracts

PMC Full-Text Search Results

Items: 1 to 20 of 58

1.
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
Martin Jonáš, Jan Strejček
Theory and Applications of Satisfiability Testing – SAT 2020. 2020 Jun 26; 12178: 378–393. Published online 2020 Jun 26. doi: 10.1007/978-3-030-51825-7_27
PMCID:
PMC7326550
ArticlePDF–654K
2.
Completeness for the Complexity Class equation M2 and Area-Universality
Michael Gene Dobbins, Linda Kleist, Tillmann Miltzow, Paweł Rzążewski
Discrete Comput Geom. 2023; 70(1): 154–188. Published online 2022 May 18. doi: 10.1007/s00454-022-00381-0
PMCID:
PMC10244296
ArticlePDF–937K
3.
starMC: an automata based CTL* model checker
Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
PeerJ Comput Sci. 2022; 8: e823. Published online 2022 Feb 24. doi: 10.7717/peerj-cs.823
PMCID:
PMC9044404
ArticlePDF–6.1M
4.
How QBF Expansion Makes Strategy Extraction Hard
Leroy Chew, Judith Clymo
Automated Reasoning. 2020 May 30; 12166: 66–82. Published online 2020 May 30. doi: 10.1007/978-3-030-51074-9_5
PMCID:
PMC7324150
ArticlePDF–329K
5.
The African wildlife ontology tutorial ontologies
C. Maria Keet
J Biomed Semantics. 2020; 11: 4. Published online 2020 Jun 23. doi: 10.1186/s13326-020-00224-y
PMCID:
PMC7310311
ArticlePDF–829K
6.
Realizing equation M1-regular Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Computer Aided Verification. 2020 Jun 16; 12225: 40–63. Published online 2020 Jun 16. doi: 10.1007/978-3-030-53291-8_4
PMCID:
PMC7363225
ArticlePDF–644K
7.
Monitoring hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Form Methods Syst Des. 2019; 54(3): 336–363. Published online 2019 Jun 25. doi: 10.1007/s10703-019-00334-z
PMCID:
PMC6853877
ArticlePDF–878K
8.
Efficient Structuring of Composite Causal Hypotheses in Medical Diagnosis
Ramesh S. Patil, Oksana Senyk
Proc Annu Symp Comput Appl Med Care. 1987 Nov 4 : 23–29.
PMCID:
PMC2245055
SummaryPage BrowsePDF–1.3M
9.
Machine Learning Guidance for Connection Tableaux
Michael Färber, Cezary Kaliszyk, Josef Urban
J Autom Reason. 2021; 65(2): 287–320. Published online 2020 Sep 5. doi: 10.1007/s10817-020-09576-7
PMCID:
PMC7900060
ArticlePDF–766K
10.
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF
Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, Martin Suda
J Autom Reason. 2019; 63(3): 597–623. Published online 2018 Sep 24. doi: 10.1007/s10817-018-9482-4
PMCID:
PMC6710225
ArticlePDF–796K
11.
Building Strategies into QBF Proofs
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan
J Autom Reason. 2021; 65(1): 125–154. Published online 2020 May 22. doi: 10.1007/s10817-020-09560-1
PMCID:
PMC7808293
ArticlePDF–638K
12.
Parameterized model checking of rendezvous systems
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Distrib Comput. 2018; 31(3): 187–222. Published online 2017 Jun 6. doi: 10.1007/s00446-017-0302-6
PMCID:
PMC6560783
ArticlePDF–1.1M
13.
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
Friedrich Slivovsky
Computer Aided Verification. 2020 Jun 13; 12224: 508–528. Published online 2020 Jun 13. doi: 10.1007/978-3-030-53288-8_24
PMCID:
PMC7363226
ArticlePDF–564K
14.
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
David Basin, Thibault Dardinier, Lukas Heimes, Srđan Krstić, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Automated Reasoning. 2020 May 30; 12166: 432–453. Published online 2020 May 30. doi: 10.1007/978-3-030-51074-9_25
PMCID:
PMC7324294
ArticlePDF–1.1M
15.
Approximate Counting of Minimal Unsatisfiable Subsets
Jaroslav Bendík, Kuldeep S. Meel
Computer Aided Verification. 2020 Jun 13; 12224: 439–462. Published online 2020 Jun 13. doi: 10.1007/978-3-030-53288-8_21
PMCID:
PMC7363222
ArticlePDF–668K
16.
Witnessing the elimination of magic wands
Stefan Blom, Marieke Huisman
Int J Softw Tools Technol Transf. 2015; 17(6): 757–781. Published online 2015 Mar 31. doi: 10.1007/s10009-015-0372-3
PMCID:
PMC4841211
ArticlePDF–1.2M
17.
Good-Enough Synthesis
Shaull Almagor, Orna Kupferman
Computer Aided Verification. 2020 Jun 16; 12225: 541–563. Published online 2020 Jun 16. doi: 10.1007/978-3-030-53291-8_28
PMCID:
PMC7363190
ArticlePDF–449K
18.
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
J Autom Reason. 2023; 67(2): 14. Published online 2023 Apr 6. doi: 10.1007/s10817-023-09661-7
PMCID:
PMC10079773
ArticlePDF–1.6M
19.
Manthan: A Data-Driven Approach for Boolean Function Synthesis
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Computer Aided Verification. 2020 Jun 16; 12225: 611–633. Published online 2020 Jun 16. doi: 10.1007/978-3-030-53291-8_31
PMCID:
PMC7363189
ArticlePDF–1.8M
20.
Data Centric Workflows for Crowdsourcing
Pierre Bourhis, Loïc Hélouët, Zoltan Miklos, Rituraj Singh
Application and Theory of Petri Nets and Concurrency. 2020 Jun 2; 12152: 24–45. Published online 2020 Jun 2. doi: 10.1007/978-3-030-51831-8_2
PMCID:
PMC7324238
ArticlePDF–467K

Display Settings:

Format
Items per page
Sort by

Send to:

Choose Destination

Supplemental Content

Filter your results:

Find related data

Search details

See more...

Recent activity

Clear Turn Off Turn On

Your browsing activity is empty.

Activity recording is turned off.

Turn recording back on

See more...
You are here: NCBI > Literature > PubMed Central (PMC)
Support Center